dana scott meaning in French
dana s. scott
Examples
- A different interpretation of reals in V {\displaystyle V} was provided by Dana Scott.
Cette équivalence amène généralement à écrire V au lieu de V. Une interprétation différente des réels de V a été donnée par Dana Scott. - The next axiom proposal came in a 1960 congress talk of Dana Scott (never published as a paper), proposing an alternative axiom now called SAFA.
C'est en 1960 que Dana Scott (dans une communication non publiée) fait une nouvelle suggestion en proposant l'axiome qui est aujourd'hui appelé l'axiome d'anti-fondation de Scott. - The (propositional, modal) μ-calculus originates with Dana Scott and Jaco de Bakker, and was further developed by Dexter Kozen into the version most used nowadays.
Le mu-calcul (propositionnel et modal) a d'abord été introduit par Dana Scott et Jaco de Bakker puis a été étendu dans sa version moderne par Dexter Kozen. - Jack Copeland's education includes a BPhil and a DPhil from the University of Oxford in philosophy, where he undertook research on modal and non-classical logic under the supervision of Dana Scott.
Ses études lui ont permis d'obtenir un Philosophiae Baccalaureus et un Philosophiæ doctor de l'université d'Oxford en philosophie, où il a entreprend des recherches sur la logique modale et non classique sous la supervision de Dana Scott. - Four mutually independent anti-foundation axioms are well-known, sometimes abbreviated by the first letter in the following list: AFA ("Anti-Foundation Axiom") – due to M. Forti and F. Honsell (this is also known as Aczel's anti-foundation axiom); SAFA ("Scott’s AFA") – due to Dana Scott, FAFA ("Finsler’s AFA") – due to Paul Finsler, BAFA ("Boffa’s AFA") – due to Maurice Boffa.
AFA (‘Anti-Foundation Axiom’) – dû à M. Forti et F. Honsell (appelé aussi axiome d'anti-fondation d'Aczel), SAFA (‘Scott’s AFA’) – dû à Dana Scott, FAFA (‘Finsler’s AFA’) – dû à Paul Finsler, BAFA (‘Boffa’s AFA’) – dû à Maurice Boffa.